<?php

var_dump(1.0);
